<?php
if (!$_POST['botao']) {

    $sql = "SELECT * FROM doctipo WHERE doc_tip_id='".$_GET['doc_tip_id']."'";
    $res = mysql_query($sql);
    $linha = mysql_fetch_array($res);	
    extract($linha);

} else {

    extract($_POST);

    if ($doc_tip_nome == '') { $erro[] = $t_infonome;}
	
    if (count($erro) == 0) {

        $sql = "UPDATE doctipo SET 
        doc_tip_nome='$doc_tip_nome'
        WHERE doc_tip_id='$doc_tip_id'";
	sql($sql); 
		
        $msg = $t_alteradosu;
        header("location: ?pag=doctipo");

    }

}